Nuprl Definition : haslink 0,22

haslink(l;m) == mlnk(m) = l 
latex



clarification:

haslink(l;m) == mlnk(m) = l  IdLnk 
latex


Definitionsmlnk(m), IdLnk
FDL editor aliaseshaslink

origin